منابع مشابه
Iterated Logic Program Updates
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by update rules, as well as by inertia applied to those literals not directly a ected by the update program. Though this is important, it remains necessary to tackle too the updating of theories speci ed by programs. In t...
متن کاملUpdates of Logic Programs
Dynamic aspects of knowledge representation has been tackled recently by a variety of approaches in the logic programming style. We consider the approaches characterized by the causal rejection principle (if there is a conflict between rules, then more preferred rules override those less preferred). A classification and a comparison of the approaches is presented in the paper. We compare them a...
متن کاملUpdates of Logic Programs by Logic Programs
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in rule bodies but also in their heads.We start by introducing the notion of an update P U of a logic program P by another logic program U . Subsequently, we provide a precise semantic character...
متن کاملA Logic of Blockchain Updates
Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respe...
متن کاملA Logic for Strategy Updates
In game theory, strategy for a player is defined as “a set of rules that describe exactly how (...) [a] player should choose, depending on how the [other] players have chosen at earlier moves” [14]. Notice that this definition of strategies is static, and presumably constructed before the game is actually played. For example, consider chess. According to Zermelo’s well-known theorem, chess is d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2016
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exw001